Translating a Visual Description Technique to a Synchronous Language: From DiChartsto PURR
نویسندگان
چکیده
We give a translation of the visual description technique DiCharts to the synchronous language PURR. As a result, the design of a system can start with a graphical description technique at a very high-level and can then be automatically translated to the synchronous language PURR. This translation allows the further synthesis of the system and in particular, its verification.
منابع مشابه
The Synchronous System Description Language PURR?
This paper presents the new synchronous language PURR, the system description language of the verification system C@S. The language is mainly based on Esterel, but extends it in several ways. These extensions are necessary to model systems at a high level of abstraction that makes state-of-the-art verification techniques applicable. Moreover, our new language directly supports transformational ...
متن کاملA Synchronous Language for Modeling and Verifying Real Time and Embedded Systems
This paper presents the new synchronous language PURR, the system description language of the verification system C@S. The language is mainly based on Esterel, but extends it in several ways. These extensions are necessary to model systems at a high level of abstraction that makes stateof-the-art verification techniques applicable. Moreover, our new language directly supports transformational v...
متن کاملThe Role of the Creative Industries: Translating Identities on Stages and Visuals
Drawing on research on narrative theory (Baker, 2006, 2014) in translation and interpretation studies, on the interdisciplinary relationship between translation studies and the visual and performing arts, and on the principal diversities between media discourse representations and aesthetic constructions on the topic of the migration crisis, this study addresses the issue of transferring cultur...
متن کاملTRANSLATING CULTURAL SIGNS IN CHILDREN’S PICTURE BOOKS
Every happening in one's life may be regarded by her/him as a leading phenomenon to other happenings. This leading phenomenon which can anticipate the subsequent happenings is called SIGN. Signs are unique for every group of human being and hence culture-specific. This is even true for every individual. Signs permeate in every aspect of universe. Among these fields, children's literature is stu...
متن کاملExtending Esterel by Asynchronous Concurrency1
Synchronous languages like Esterel and PURR have been introduced to support the development of concurrent reactive systems. These languages have an easily understood semantics that lends itself well for efficient implementations and also for a formal verification of the designs. We show how to enrich Esterel or PURR by two important features, namely asynchronous concurrency and nondeterminism. ...
متن کامل